Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
781	Code Factoring in GCC Gábor Lóki, Ákos Kiss, Judit Jász, and Árpád Beszédes Department of Software Engineering Institute of Informatics University of Szeged, Hungary {loki,akiss,jasy,beszedes}@inf.u-szeged.hu Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Algorithm Mathematical logic Theoretical computer science GNU Compiler Collection C Compiler optimization Software Computing Computer programming
782	Frog Street Pre-K and Kindergarten TEKS for Mathematics EXH1485 Add to Reading List Source URL: www.frogstreet.com Language: English - Date: 2015-03-11 13:37:37 Counting Mathematical logic Addition Number Combination TG4 Mathematics Numeral systems Combinatorics
783	Algorithmica: Algorithmica 9 1994Springer-VerlagNewYorkInc. Planar Geometric Location Problems I Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-05-26 17:06:03 Computational complexity theory Computational geometry Structural complexity theory Analysis of algorithms Algorithm Mathematical logic Point location Reduction Time complexity Theoretical computer science Applied mathematics Mathematics
784	Writing a Scientific Paper Theory and Practice How to write a Scientific Paper And get it published Add to Reading List Source URL: www.sbfte.org.br Language: English - Date: 2015-04-07 16:03:00 Academia Information science Scientific literature Academic publishing Logic Mathematical logic Science Technical communication Knowledge
785	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
786	eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp Add to Reading List Source URL: www.factory-in-a-day.eu Language: English - Date: 2015-03-26 05:06:07 Computer programming Mathematical optimization Constraint satisfaction Operations research Quadratic programming Slack variable Ada Constraint Composite Graph Constraint logic programming Constraint programming Software engineering Computing
787	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:00 Cut-elimination theorem Sequent Rule of inference First-order logic Formal proof Natural deduction Structural proof theory Logic Proof theory Mathematical logic
788	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory
789	High-dimensional data, random questions and random answers Sara van de Geer Statistics is crucial for dealing with the large amount of data available today. There are many machine learning algorithms around that help us Add to Reading List Source URL: www.math.leidenuniv.nl Language: English - Date: 2015-03-24 04:59:21 Randomness Mathematics Theoretical computer science Algorithm Mathematical logic
790	Appears in Proceedings of VMCAI2013, Springerlink. The final publication is available at http://link.springer.com/chapter%2F978. Its DOI isTool Integration with the Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-27 16:36:12 Query languages Quantification Datalog Mathematical logic Prolog Logic programming Predicate Function Resolution Logic Mathematics Computing